pretorium [dated] - German English Dictionary